package tarantula.experiment.timeandmoney;

import junit.framework.TestCase;

public class TimeAndMoneyFailedUnsimplifiedTestsBug2 extends TestCase {
	public void test6() throws Throwable {

	    java.lang.Integer var0 = new java.lang.Integer(100);
	    com.domainlanguage.time.Duration var1 = com.domainlanguage.time.Duration.days((int)var0);
	    java.lang.Integer var2 = new java.lang.Integer(100);
	    com.domainlanguage.time.Duration var3 = com.domainlanguage.time.Duration.years((int)var2);
	    java.lang.Integer var4 = new java.lang.Integer(0);
	    java.lang.Integer var5 = new java.lang.Integer(100);
	    java.lang.Integer var6 = new java.lang.Integer(1);
	    java.lang.Integer var7 = new java.lang.Integer(1);
	    java.lang.Integer var8 = new java.lang.Integer(100);
	    java.lang.Integer var9 = new java.lang.Integer((-1));
	    java.lang.Integer var10 = new java.lang.Integer((-1));
	    com.domainlanguage.time.TimePoint var11 = com.domainlanguage.time.TimePoint.atGMT((int)var4, (int)var5, (int)var6, (int)var7, (int)var8, (int)var9, (int)var10);
	    com.domainlanguage.time.TimeInterval var12 = var3.startingFrom(var11);
	    java.lang.Integer var13 = new java.lang.Integer(0);
	    java.lang.Integer var14 = new java.lang.Integer(100);
	    java.lang.Integer var15 = new java.lang.Integer(1);
	    java.lang.Integer var16 = new java.lang.Integer(1);
	    java.lang.Integer var17 = new java.lang.Integer(100);
	    java.lang.Integer var18 = new java.lang.Integer((-1));
	    java.lang.Integer var19 = new java.lang.Integer((-1));
	    com.domainlanguage.time.TimePoint var20 = com.domainlanguage.time.TimePoint.atGMT((int)var13, (int)var14, (int)var15, (int)var16, (int)var17, (int)var18, (int)var19);
	    java.lang.Integer var21 = new java.lang.Integer(100);
	    com.domainlanguage.time.Duration var22 = com.domainlanguage.time.Duration.years((int)var21);
	    java.lang.Integer var23 = new java.lang.Integer(0);
	    java.lang.Integer var24 = new java.lang.Integer(100);
	    java.lang.Integer var25 = new java.lang.Integer(1);
	    java.lang.Integer var26 = new java.lang.Integer(1);
	    java.lang.Integer var27 = new java.lang.Integer(100);
	    java.lang.Integer var28 = new java.lang.Integer((-1));
	    java.lang.Integer var29 = new java.lang.Integer((-1));
	    com.domainlanguage.time.TimePoint var30 = com.domainlanguage.time.TimePoint.atGMT((int)var23, (int)var24, (int)var25, (int)var26, (int)var27, (int)var28, (int)var29);
	    com.domainlanguage.time.TimeInterval var31 = var22.startingFrom(var30);
	    java.lang.Integer var32 = new java.lang.Integer(100);
	    com.domainlanguage.time.Duration var33 = com.domainlanguage.time.Duration.years((int)var32);
	    java.lang.Integer var34 = new java.lang.Integer(0);
	    java.lang.Integer var35 = new java.lang.Integer(100);
	    java.lang.Integer var36 = new java.lang.Integer(1);
	    java.lang.Integer var37 = new java.lang.Integer(1);
	    java.lang.Integer var38 = new java.lang.Integer(100);
	    java.lang.Integer var39 = new java.lang.Integer((-1));
	    java.lang.Integer var40 = new java.lang.Integer((-1));
	    com.domainlanguage.time.TimePoint var41 = com.domainlanguage.time.TimePoint.atGMT((int)var34, (int)var35, (int)var36, (int)var37, (int)var38, (int)var39, (int)var40);
	    com.domainlanguage.time.TimeInterval var42 = var33.startingFrom(var41);
	    com.domainlanguage.time.TimePoint var43 = var42.start();
	    boolean var44 = var30.isAfter(var42);
	    java.lang.Integer var45 = new java.lang.Integer(0);
	    java.lang.Integer var46 = new java.lang.Integer(100);
	    java.lang.Integer var47 = new java.lang.Integer(1);
	    java.lang.Integer var48 = new java.lang.Integer(1);
	    java.lang.Integer var49 = new java.lang.Integer(100);
	    java.lang.Integer var50 = new java.lang.Integer((-1));
	    java.lang.Integer var51 = new java.lang.Integer((-1));
	    com.domainlanguage.time.TimePoint var52 = com.domainlanguage.time.TimePoint.atGMT((int)var45, (int)var46, (int)var47, (int)var48, (int)var49, (int)var50, (int)var51);
	    java.lang.Double var53 = new java.lang.Double(0.0d);
	    com.domainlanguage.money.Money var54 = com.domainlanguage.money.Money.euros((double)var53);
	    java.lang.Short var55 = new java.lang.Short((short)(-1));
	    boolean var56 = var54.equals((java.lang.Object)var55);
	    com.domainlanguage.time.TimeInterval var57 = new com.domainlanguage.time.TimeInterval(var20, var44, var52, var56);
	    com.domainlanguage.time.TimeInterval var58 = com.domainlanguage.time.TimeInterval.over(var11, var52);
	    java.lang.Byte var59 = new java.lang.Byte((byte)100);
	    boolean var60 = var52.equals((java.lang.Object)var59);
	    java.lang.Integer var61 = new java.lang.Integer(0);
	    java.lang.Integer var62 = new java.lang.Integer(100);
	    java.lang.Integer var63 = new java.lang.Integer(1);
	    java.lang.Integer var64 = new java.lang.Integer(1);
	    java.lang.Integer var65 = new java.lang.Integer(100);
	    java.lang.Integer var66 = new java.lang.Integer((-1));
	    java.lang.Integer var67 = new java.lang.Integer((-1));
	    com.domainlanguage.time.TimePoint var68 = com.domainlanguage.time.TimePoint.atGMT((int)var61, (int)var62, (int)var63, (int)var64, (int)var65, (int)var66, (int)var67);
	    com.domainlanguage.time.Duration var69 = com.domainlanguage.time.Duration.days((int)var61);
	    com.domainlanguage.time.TimePoint var70 = var52.plus(var69);
	    com.domainlanguage.time.Duration var71 = var1.minus(var69);
	    
	    // Checks the contract:  equals-hashcode on var1 and var71
	    assertTrue("Contract failed: equals-hashcode on var1 and var71", var1.equals(var71) ? var1.hashCode() == var71.hashCode() : true);
	    
	    // Checks the contract:  equals-hashcode on var71 and var1
	    assertTrue("Contract failed: equals-hashcode on var71 and var1", var71.equals(var1) ? var71.hashCode() == var1.hashCode() : true);

	  }

	  public void test7() throws Throwable {

	    java.lang.Integer var0 = new java.lang.Integer(0);
	    java.lang.Integer var1 = new java.lang.Integer(0);
	    java.lang.Integer var2 = new java.lang.Integer(100);
	    java.lang.Integer var3 = new java.lang.Integer(1);
	    java.lang.Integer var4 = new java.lang.Integer(1);
	    java.lang.Integer var5 = new java.lang.Integer(100);
	    java.lang.Integer var6 = new java.lang.Integer((-1));
	    java.lang.Integer var7 = new java.lang.Integer((-1));
	    com.domainlanguage.time.TimePoint var8 = com.domainlanguage.time.TimePoint.atGMT((int)var1, (int)var2, (int)var3, (int)var4, (int)var5, (int)var6, (int)var7);
	    java.lang.Integer var9 = new java.lang.Integer((-1));
	    com.domainlanguage.time.CalendarDate var10 = com.domainlanguage.time.CalendarDate.from((int)var0, (int)var3, (int)var9);
	    com.domainlanguage.time.CalendarDate var11 = var10.lastOfMonth();
	    int var12 = var10.breachEncapsulationOf_year();
	    com.domainlanguage.time.Duration var13 = com.domainlanguage.time.Duration.years((int)var12);
	    com.domainlanguage.time.Duration var14 = com.domainlanguage.time.Duration.days((int)var12);
	    java.lang.Double var15 = new java.lang.Double(0.0d);
	    com.domainlanguage.money.Money var16 = com.domainlanguage.money.Money.euros((double)var15);
	    java.lang.Integer var17 = new java.lang.Integer(0);
	    java.lang.Integer var18 = new java.lang.Integer(100);
	    java.lang.Integer var19 = new java.lang.Integer(1);
	    java.lang.Integer var20 = new java.lang.Integer(1);
	    java.lang.Integer var21 = new java.lang.Integer(100);
	    java.lang.Integer var22 = new java.lang.Integer((-1));
	    java.lang.Integer var23 = new java.lang.Integer((-1));
	    com.domainlanguage.time.TimePoint var24 = com.domainlanguage.time.TimePoint.atGMT((int)var17, (int)var18, (int)var19, (int)var20, (int)var21, (int)var22, (int)var23);
	    com.domainlanguage.money.Money var25 = var16.times((int)var23);
	    java.lang.Double var26 = new java.lang.Double(0.0d);
	    com.domainlanguage.money.Money var27 = com.domainlanguage.money.Money.euros((double)var26);
	    java.lang.Integer var28 = new java.lang.Integer(0);
	    java.lang.Integer var29 = new java.lang.Integer(100);
	    java.lang.Integer var30 = new java.lang.Integer(1);
	    java.lang.Integer var31 = new java.lang.Integer(1);
	    java.lang.Integer var32 = new java.lang.Integer(100);
	    java.lang.Integer var33 = new java.lang.Integer((-1));
	    java.lang.Integer var34 = new java.lang.Integer((-1));
	    com.domainlanguage.time.TimePoint var35 = com.domainlanguage.time.TimePoint.atGMT((int)var28, (int)var29, (int)var30, (int)var31, (int)var32, (int)var33, (int)var34);
	    com.domainlanguage.money.Money var36 = var27.times((int)var34);
	    boolean var37 = var25.isLessThan(var27);
	    java.lang.Integer var38 = new java.lang.Integer((-1));
	    com.domainlanguage.money.Money var39 = var27.times((int)var38);
	    java.math.BigDecimal var40 = var39.breachEncapsulationOfAmount();
	    java.lang.Double var41 = new java.lang.Double(0.0d);
	    com.domainlanguage.money.Money var42 = com.domainlanguage.money.Money.euros((double)var41);
	    java.lang.Short var43 = new java.lang.Short((short)(-1));
	    boolean var44 = var42.equals((java.lang.Object)var43);
	    java.lang.Double var45 = new java.lang.Double(0.0d);
	    com.domainlanguage.money.Money var46 = com.domainlanguage.money.Money.euros((double)var45);
	    java.lang.Short var47 = new java.lang.Short((short)(-1));
	    boolean var48 = var46.equals((java.lang.Object)var47);
	    boolean var49 = var42.isGreaterThan(var46);
	    java.util.Currency var50 = var42.breachEncapsulationOfCurrency();
	    com.domainlanguage.money.Money var51 = com.domainlanguage.money.Money.valueOf(var40, var50);
	    java.lang.Double var52 = new java.lang.Double(0.0d);
	    com.domainlanguage.money.Money var53 = com.domainlanguage.money.Money.euros((double)var52);
	    java.lang.Integer var54 = new java.lang.Integer(0);
	    java.lang.Integer var55 = new java.lang.Integer(100);
	    java.lang.Integer var56 = new java.lang.Integer(1);
	    java.lang.Integer var57 = new java.lang.Integer(1);
	    java.lang.Integer var58 = new java.lang.Integer(100);
	    java.lang.Integer var59 = new java.lang.Integer((-1));
	    java.lang.Integer var60 = new java.lang.Integer((-1));
	    com.domainlanguage.time.TimePoint var61 = com.domainlanguage.time.TimePoint.atGMT((int)var54, (int)var55, (int)var56, (int)var57, (int)var58, (int)var59, (int)var60);
	    com.domainlanguage.money.Money var62 = var53.times((int)var60);
	    java.lang.Double var63 = new java.lang.Double(0.0d);
	    com.domainlanguage.money.Money var64 = com.domainlanguage.money.Money.euros((double)var63);
	    java.lang.Integer var65 = new java.lang.Integer(0);
	    java.lang.Integer var66 = new java.lang.Integer(100);
	    java.lang.Integer var67 = new java.lang.Integer(1);
	    java.lang.Integer var68 = new java.lang.Integer(1);
	    java.lang.Integer var69 = new java.lang.Integer(100);
	    java.lang.Integer var70 = new java.lang.Integer((-1));
	    java.lang.Integer var71 = new java.lang.Integer((-1));
	    com.domainlanguage.time.TimePoint var72 = com.domainlanguage.time.TimePoint.atGMT((int)var65, (int)var66, (int)var67, (int)var68, (int)var69, (int)var70, (int)var71);
	    com.domainlanguage.money.Money var73 = var64.times((int)var71);
	    boolean var74 = var62.isLessThan(var64);
	    java.lang.Integer var75 = new java.lang.Integer((-1));
	    com.domainlanguage.money.Money var76 = var64.times((int)var75);
	    java.math.BigDecimal var77 = var76.breachEncapsulationOfAmount();
	    com.domainlanguage.base.Ratio var78 = new com.domainlanguage.base.Ratio(var40, var77);
	    java.lang.Integer var79 = new java.lang.Integer(0);
	    java.lang.Integer var80 = new java.lang.Integer(100);
	    java.lang.Integer var81 = new java.lang.Integer(1);
	    java.lang.Integer var82 = new java.lang.Integer(1);
	    java.lang.Integer var83 = new java.lang.Integer(100);
	    java.lang.Integer var84 = new java.lang.Integer((-1));
	    java.lang.Integer var85 = new java.lang.Integer((-1));
	    com.domainlanguage.time.TimePoint var86 = com.domainlanguage.time.TimePoint.atGMT((int)var79, (int)var80, (int)var81, (int)var82, (int)var83, (int)var84, (int)var85);
	    com.domainlanguage.time.Duration var87 = com.domainlanguage.time.Duration.days((int)var79);
	    com.domainlanguage.time.Duration var88 = com.domainlanguage.time.Duration.days((int)var79);
	    com.domainlanguage.time.TimeRate var89 = new com.domainlanguage.time.TimeRate(var77, var88);
	    com.domainlanguage.time.Duration var90 = var14.plus(var88);
	    java.lang.Integer var91 = new java.lang.Integer(10);
	    com.domainlanguage.time.Duration var92 = com.domainlanguage.time.Duration.minutes((int)var91);
	    com.domainlanguage.time.Duration var93 = var88.plus(var92);
	    
	    // Checks the contract:  equals-hashcode on var92 and var93
	    assertTrue("Contract failed: equals-hashcode on var92 and var93", var92.equals(var93) ? var92.hashCode() == var93.hashCode() : true);
	    
	    // Checks the contract:  equals-hashcode on var93 and var92
	    assertTrue("Contract failed: equals-hashcode on var93 and var92", var93.equals(var92) ? var93.hashCode() == var92.hashCode() : true);

	  }
	  
	  public void test11() throws Throwable {

		    java.lang.Integer var0 = new java.lang.Integer(100);
		    com.domainlanguage.time.Duration var1 = com.domainlanguage.time.Duration.years((int)var0);
		    java.lang.Integer var2 = new java.lang.Integer(0);
		    java.lang.Integer var3 = new java.lang.Integer(100);
		    java.lang.Integer var4 = new java.lang.Integer(1);
		    java.lang.Integer var5 = new java.lang.Integer(1);
		    java.lang.Integer var6 = new java.lang.Integer(100);
		    java.lang.Integer var7 = new java.lang.Integer((-1));
		    java.lang.Integer var8 = new java.lang.Integer((-1));
		    com.domainlanguage.time.TimePoint var9 = com.domainlanguage.time.TimePoint.atGMT((int)var2, (int)var3, (int)var4, (int)var5, (int)var6, (int)var7, (int)var8);
		    com.domainlanguage.time.TimeInterval var10 = var1.startingFrom(var9);
		    java.lang.Integer var11 = new java.lang.Integer(1);
		    com.domainlanguage.time.Duration var12 = com.domainlanguage.time.Duration.hours((int)var11);
		    java.lang.Integer var13 = new java.lang.Integer(100);
		    com.domainlanguage.time.Duration var14 = com.domainlanguage.time.Duration.years((int)var13);
		    java.lang.Integer var15 = new java.lang.Integer(0);
		    java.lang.Integer var16 = new java.lang.Integer(100);
		    java.lang.Integer var17 = new java.lang.Integer(1);
		    java.lang.Integer var18 = new java.lang.Integer(1);
		    java.lang.Integer var19 = new java.lang.Integer(100);
		    java.lang.Integer var20 = new java.lang.Integer((-1));
		    java.lang.Integer var21 = new java.lang.Integer((-1));
		    com.domainlanguage.time.TimePoint var22 = com.domainlanguage.time.TimePoint.atGMT((int)var15, (int)var16, (int)var17, (int)var18, (int)var19, (int)var20, (int)var21);
		    com.domainlanguage.time.TimeInterval var23 = var14.startingFrom(var22);
		    java.lang.Integer var24 = new java.lang.Integer(0);
		    java.lang.Integer var25 = new java.lang.Integer(100);
		    java.lang.Integer var26 = new java.lang.Integer(1);
		    java.lang.Integer var27 = new java.lang.Integer(1);
		    java.lang.Integer var28 = new java.lang.Integer(100);
		    java.lang.Integer var29 = new java.lang.Integer((-1));
		    java.lang.Integer var30 = new java.lang.Integer((-1));
		    com.domainlanguage.time.TimePoint var31 = com.domainlanguage.time.TimePoint.atGMT((int)var24, (int)var25, (int)var26, (int)var27, (int)var28, (int)var29, (int)var30);
		    java.lang.Integer var32 = new java.lang.Integer(100);
		    com.domainlanguage.time.Duration var33 = com.domainlanguage.time.Duration.years((int)var32);
		    java.lang.Integer var34 = new java.lang.Integer(0);
		    java.lang.Integer var35 = new java.lang.Integer(100);
		    java.lang.Integer var36 = new java.lang.Integer(1);
		    java.lang.Integer var37 = new java.lang.Integer(1);
		    java.lang.Integer var38 = new java.lang.Integer(100);
		    java.lang.Integer var39 = new java.lang.Integer((-1));
		    java.lang.Integer var40 = new java.lang.Integer((-1));
		    com.domainlanguage.time.TimePoint var41 = com.domainlanguage.time.TimePoint.atGMT((int)var34, (int)var35, (int)var36, (int)var37, (int)var38, (int)var39, (int)var40);
		    com.domainlanguage.time.TimeInterval var42 = var33.startingFrom(var41);
		    java.lang.Integer var43 = new java.lang.Integer(100);
		    com.domainlanguage.time.Duration var44 = com.domainlanguage.time.Duration.years((int)var43);
		    java.lang.Integer var45 = new java.lang.Integer(0);
		    java.lang.Integer var46 = new java.lang.Integer(100);
		    java.lang.Integer var47 = new java.lang.Integer(1);
		    java.lang.Integer var48 = new java.lang.Integer(1);
		    java.lang.Integer var49 = new java.lang.Integer(100);
		    java.lang.Integer var50 = new java.lang.Integer((-1));
		    java.lang.Integer var51 = new java.lang.Integer((-1));
		    com.domainlanguage.time.TimePoint var52 = com.domainlanguage.time.TimePoint.atGMT((int)var45, (int)var46, (int)var47, (int)var48, (int)var49, (int)var50, (int)var51);
		    com.domainlanguage.time.TimeInterval var53 = var44.startingFrom(var52);
		    com.domainlanguage.time.TimePoint var54 = var53.start();
		    boolean var55 = var41.isAfter(var53);
		    java.lang.Integer var56 = new java.lang.Integer(0);
		    java.lang.Integer var57 = new java.lang.Integer(100);
		    java.lang.Integer var58 = new java.lang.Integer(1);
		    java.lang.Integer var59 = new java.lang.Integer(1);
		    java.lang.Integer var60 = new java.lang.Integer(100);
		    java.lang.Integer var61 = new java.lang.Integer((-1));
		    java.lang.Integer var62 = new java.lang.Integer((-1));
		    com.domainlanguage.time.TimePoint var63 = com.domainlanguage.time.TimePoint.atGMT((int)var56, (int)var57, (int)var58, (int)var59, (int)var60, (int)var61, (int)var62);
		    java.lang.Double var64 = new java.lang.Double(0.0d);
		    com.domainlanguage.money.Money var65 = com.domainlanguage.money.Money.euros((double)var64);
		    java.lang.Short var66 = new java.lang.Short((short)(-1));
		    boolean var67 = var65.equals((java.lang.Object)var66);
		    com.domainlanguage.time.TimeInterval var68 = new com.domainlanguage.time.TimeInterval(var31, var55, var63, var67);
		    com.domainlanguage.time.TimeInterval var69 = com.domainlanguage.time.TimeInterval.over(var22, var63);
		    java.lang.Byte var70 = new java.lang.Byte((byte)100);
		    boolean var71 = var63.equals((java.lang.Object)var70);
		    com.domainlanguage.intervals.Interval var72 = com.domainlanguage.intervals.Interval.closed((java.lang.Comparable)var12, (java.lang.Comparable)var71);
		    com.domainlanguage.time.TimeInterval var73 = com.domainlanguage.time.TimeInterval.preceding(var9, var12);
		    java.lang.Comparable var74 = var73.lowerLimit();
		    com.domainlanguage.time.Duration var75 = var73.length();
		    
		    // Checks the contract:  equals-hashcode on var12 and var75
		    assertTrue("Contract failed: equals-hashcode on var12 and var75", var12.equals(var75) ? var12.hashCode() == var75.hashCode() : true);
		    
		    // Checks the contract:  equals-hashcode on var75 and var12
		    assertTrue("Contract failed: equals-hashcode on var75 and var12", var75.equals(var12) ? var75.hashCode() == var12.hashCode() : true);

		  }
	  
	  public void test21() throws Throwable {

		    java.lang.Integer var0 = new java.lang.Integer(100);
		    com.domainlanguage.time.Duration var1 = com.domainlanguage.time.Duration.years((int)var0);
		    java.lang.Integer var2 = new java.lang.Integer(0);
		    java.lang.Integer var3 = new java.lang.Integer(100);
		    java.lang.Integer var4 = new java.lang.Integer(1);
		    java.lang.Integer var5 = new java.lang.Integer(1);
		    java.lang.Integer var6 = new java.lang.Integer(100);
		    java.lang.Integer var7 = new java.lang.Integer((-1));
		    java.lang.Integer var8 = new java.lang.Integer((-1));
		    com.domainlanguage.time.TimePoint var9 = com.domainlanguage.time.TimePoint.atGMT((int)var2, (int)var3, (int)var4, (int)var5, (int)var6, (int)var7, (int)var8);
		    com.domainlanguage.time.TimeInterval var10 = var1.startingFrom(var9);
		    com.domainlanguage.time.TimePoint var11 = var10.start();
		    java.lang.Integer var12 = new java.lang.Integer(100);
		    com.domainlanguage.time.Duration var13 = com.domainlanguage.time.Duration.days((int)var12);
		    java.lang.Integer var14 = new java.lang.Integer(100);
		    com.domainlanguage.time.Duration var15 = com.domainlanguage.time.Duration.years((int)var14);
		    java.lang.Integer var16 = new java.lang.Integer(0);
		    java.lang.Integer var17 = new java.lang.Integer(0);
		    java.lang.Integer var18 = new java.lang.Integer(100);
		    java.lang.Integer var19 = new java.lang.Integer(1);
		    java.lang.Integer var20 = new java.lang.Integer(1);
		    java.lang.Integer var21 = new java.lang.Integer(100);
		    java.lang.Integer var22 = new java.lang.Integer((-1));
		    java.lang.Integer var23 = new java.lang.Integer((-1));
		    com.domainlanguage.time.TimePoint var24 = com.domainlanguage.time.TimePoint.atGMT((int)var17, (int)var18, (int)var19, (int)var20, (int)var21, (int)var22, (int)var23);
		    java.lang.Integer var25 = new java.lang.Integer((-1));
		    com.domainlanguage.time.CalendarDate var26 = com.domainlanguage.time.CalendarDate.from((int)var16, (int)var19, (int)var25);
		    com.domainlanguage.time.TimePoint var27 = com.domainlanguage.time.TimePoint.atMidnightGMT((int)var12, (int)var14, (int)var19);
		    boolean var28 = var10.isBefore(var27);
		    boolean var29 = var10.includesUpperLimit();
		    java.lang.Integer var30 = new java.lang.Integer(100);
		    com.domainlanguage.time.Duration var31 = com.domainlanguage.time.Duration.days((int)var30);
		    java.lang.Integer var32 = new java.lang.Integer(100);
		    com.domainlanguage.time.Duration var33 = com.domainlanguage.time.Duration.years((int)var32);
		    java.lang.Integer var34 = new java.lang.Integer(0);
		    java.lang.Integer var35 = new java.lang.Integer(0);
		    java.lang.Integer var36 = new java.lang.Integer(100);
		    java.lang.Integer var37 = new java.lang.Integer(1);
		    java.lang.Integer var38 = new java.lang.Integer(1);
		    java.lang.Integer var39 = new java.lang.Integer(100);
		    java.lang.Integer var40 = new java.lang.Integer((-1));
		    java.lang.Integer var41 = new java.lang.Integer((-1));
		    com.domainlanguage.time.TimePoint var42 = com.domainlanguage.time.TimePoint.atGMT((int)var35, (int)var36, (int)var37, (int)var38, (int)var39, (int)var40, (int)var41);
		    java.lang.Integer var43 = new java.lang.Integer((-1));
		    com.domainlanguage.time.CalendarDate var44 = com.domainlanguage.time.CalendarDate.from((int)var34, (int)var37, (int)var43);
		    com.domainlanguage.time.TimePoint var45 = com.domainlanguage.time.TimePoint.atMidnightGMT((int)var30, (int)var32, (int)var37);
		    boolean var46 = var10.equals((java.lang.Object)var45);
		    java.lang.Integer var47 = new java.lang.Integer(0);
		    java.lang.Integer var48 = new java.lang.Integer(100);
		    java.lang.Integer var49 = new java.lang.Integer(1);
		    java.lang.Integer var50 = new java.lang.Integer(1);
		    java.lang.Integer var51 = new java.lang.Integer(100);
		    java.lang.Integer var52 = new java.lang.Integer((-1));
		    java.lang.Integer var53 = new java.lang.Integer((-1));
		    com.domainlanguage.time.TimePoint var54 = com.domainlanguage.time.TimePoint.atGMT((int)var47, (int)var48, (int)var49, (int)var50, (int)var51, (int)var52, (int)var53);
		    com.domainlanguage.time.Duration var55 = com.domainlanguage.time.Duration.days((int)var47);
		    com.domainlanguage.time.TimePoint var56 = var45.plus(var55);
		    java.lang.Integer var57 = new java.lang.Integer(0);
		    java.lang.Integer var58 = new java.lang.Integer(0);
		    java.lang.Integer var59 = new java.lang.Integer(100);
		    java.lang.Integer var60 = new java.lang.Integer(1);
		    java.lang.Integer var61 = new java.lang.Integer(1);
		    java.lang.Integer var62 = new java.lang.Integer(100);
		    java.lang.Integer var63 = new java.lang.Integer((-1));
		    java.lang.Integer var64 = new java.lang.Integer((-1));
		    com.domainlanguage.time.TimePoint var65 = com.domainlanguage.time.TimePoint.atGMT((int)var58, (int)var59, (int)var60, (int)var61, (int)var62, (int)var63, (int)var64);
		    java.lang.Integer var66 = new java.lang.Integer((-1));
		    com.domainlanguage.time.CalendarDate var67 = com.domainlanguage.time.CalendarDate.from((int)var57, (int)var60, (int)var66);
		    com.domainlanguage.time.CalendarDate var68 = var67.lastOfMonth();
		    java.lang.Long var69 = new java.lang.Long(1L);
		    com.domainlanguage.time.Duration var70 = com.domainlanguage.time.Duration.milliseconds((long)var69);
		    java.lang.String var71 = var70.toNormalizedString();
		    int var72 = var68.compareTo((java.lang.Object)var70);
		    com.domainlanguage.time.CalendarDate var73 = var68.firstOfMonth();
		    int var74 = var73.breachEncapsulationOf_year();
		    com.domainlanguage.time.Duration var75 = com.domainlanguage.time.Duration.weeks((int)var74);
		    com.domainlanguage.time.Duration var76 = var55.plus(var75);
		    
		    // Checks the contract:  equals-hashcode on var75 and var76
		    assertTrue("Contract failed: equals-hashcode on var75 and var76", var75.equals(var76) ? var75.hashCode() == var76.hashCode() : true);
		    
		    // Checks the contract:  equals-hashcode on var76 and var75
		    assertTrue("Contract failed: equals-hashcode on var76 and var75", var76.equals(var75) ? var76.hashCode() == var75.hashCode() : true);

		  }
}
